L’admissibilité de la preuve du syndrome de l’enfant battu à titre de légitime défense : un espoir pour l’enfant victime ?

Adaptation du Virus de l'Echtyma Contrgieux à la Culture de Cellules de Singe

Recherches pour la détermination du degré des propriétés antigéniques de quelques souches vaccinales du virus de la maladie de Newcastle administrées par voie oculaire à des poulets

Un syndrome « Furoculose de la truite»

Conservation du virus de la Peste bovine à l'état lyophilisé

Un langage de contexte de preuve pour la validation formelle de modèles logiciels

Résumé. Pour améliorer les pratiques dans le domaine de la validation formelle de modèles, nous explorons un axe de recherche dans lequel nous formalisons la notion de « contexte de preuve » intégrant la description du comportement de l’environnement interagissant avec le modèle et les propriétés à vérifier dans ce contexte. L'article présente le langage CDL (Context Description Language) propo...